COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	@make(letterhead,Phone"497-4430",Who"John McCarthy",Logo Old, Department CSD)
C00004 ENDMK
C⊗;
@make(letterhead,Phone"497-4430",Who"John McCarthy",Logo Old, Department CSD)
@style(indent 8)
@blankspace(12 lines)
@begin(address)
Prof. Eiiti Wada
Department of Information Engineering
University of Tokyo
7-3-1 Hongo, Bunkyo-ku
Tokyo 113
JAPAN
@end(address)
@greeting(Dear Professor Wada:)
@begin(body)
	Norihisa Suziki has asked me to write you certifying that he
worked for me and David Luckham as a research assistant from September
1972 to August 1975.  I am happy to do so and am happy to add that he
was one of the most talented students in program verification that
we have had.

	I'm looking forward to seeing you again some time.
@end(body)
Best Regards,




John McCarthy
Professor of Computer Science



@Flushleft(cc.to Norihisa Suzuki, Xerox PARC)